例句與造句

1. Can we achieve the same economy for a process calculus?
2. This stems from the fact that the-calculus is a value-passing process calculus.
3. The join-calculus programming language is a new language based on the join-calculus process calculus.
4. More recent additions to the process calculus family, such as the Actor event diagrams, have also been developed to describe the behavior of concurrent systems.
5. NASA has recently discussed using a combination of Communicating Stream X-Machines and the process calculus WSCSS in the design and testing of " swarm satellite " systems.
6. It's difficult to find process calculus in a sentence. 用process calculus造句挺難的
7. McMillan, 477 U . S ., at 92 ( perceiving no difference in the due process calculus depending upon whether consideration of the sentencing factor was discretionary or mandatory ).
8. C . A . R . Hoare's Communicating Sequential Processes ( CSP ) first appeared in 1978, and was subsequently developed into a full-fledged process calculus during the early 1980s.
9. The project initially began as an implementation of the SOCK process calculus, a formal model proposed by Claudio Guidi et al . at the University of Bologna inspired by the application containment, and web programming.
10. The groundbreaking work ( that initially used the ?-calculus, a process calculus ) was later taken over by IBM Cambridge in the UK ( Luca Cardelli ) that developed SPiM ( Stochastic Pi Calculus Machine ).
11. LOTOS is an algebraic language that consists of two parts : a part for the description of data and operations, based on abstract data types, and a part for the description of concurrent processes, based on process calculus.
12. In contrast to Solidity, however, Rholang is a reflective programming language, based on process calculus, allowing for the parallel execution of processes and the composition of higher-ordered smart contracts on the basis of lower ones.
13. Bunched logic has been used in connection with the ( synchronous ) resource-process calculus SCRP in order to give a ( modal ) logic which characterizes, in the sense of Hennessey-Milner, the compositional structure of concurrent systems.
14. Channels are fundamental to the process calculus approach to concurrency, and originated in communicating sequential processes ( CSP ), a formal model for concurrency, and has been used in many derived languages, such as occam, and Limbo programming language ( via Newsqueak and the Alef programming language ).
15. The "'join-calculus "'is a process calculus developed at INRIA . The join-calculus was developed to provide a formal basis for the design of distributed programming languages, and therefore intentionally avoids communications constructs found in other process calculi, such as ?-calculus.
16. Calculus has historically been called " the calculus of infinitesimals ", or " infinitesimal calculus " . " Calculus " ( plural " calculi " ) is also used for naming some methods of calculation or theories of computation, such as propositional calculus, calculus of variations, lambda calculus, and process calculus.